A formal interpretation of Ł ukasiewicz' logics.

On the logics of image interpretation: model-construction in a formal knowledge-representation framework

In this contribution, we present a formal, logic-based approach to image interpretation by combining methods from two different research areas, namely computer vision and knowledge representation. After describing two well known approaches we presented a concise definition of the required solution of an image understanding problem. We then propose an object-centered, KL-ONE-like description log...

A Pragmatic Interpretation of Substructural Logics

Formal logics as model

We describe the main features of an in-service teacher training proposal aimed at helping the teachers to use logic as a means of encouraging students to develop valuable models of thinking, taking into account the evolution of common sense reasoning and the reasoning capabilities required by the complexity of global rationality. Referring to the situation in Italian schools, we firstly discuss...

Inference Using Formal Logics

{\L}ukasiewicz {\mu}-calculus

The paper explores properties of the Lukasiewicz μ-calculus, or Lμ for short, an extension of Lukasiewicz logic with scalar multiplication and least and greatest fixed-point operators (for monotone formulas). We observe that Lμ terms, with n variables, define monotone piecewise linear functions from [0, 1]n to [0, 1]. Two effective procedures for calculating the output of Lμ terms on rational i...